THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
نویسنده
چکیده
The demands placed on programmers by the needs of safety-critical systems mandate the use of formal methods, supported by an integrated toolkit, throughout software development. Many formal speciication, design and veriication techniques have been proposed in the past. As the next step in the maturation of these techniques we are aiming to integrate previously disparate methods. Our overall methodology is illustrated with formal methods developed by the University of Queensland's Software Veriica-tion Research Centre, using the \boiler water content monitor and control system" as a case study. Practical problems posed by this application are discussed.
منابع مشابه
Dynamics of a strongly driven two-component Bose-Einstein condensate
G. L. Salmond, C. A. Holmes, and G. J. Milburn Center for Laser Science, Department of Physics, The University of Queensland, Queensland 4072, Australia Center for Mathematical Physics, Department of Mathematics, The University of Queensland, Queensland 4072, Australia Center for Quantum Computer Technology, Department of Physics, The University of Queensland, Queensland 4072, Australia ~Receiv...
متن کاملMultiple bifurcations in atom optics
W. K. Hensinger, B. Upcroft, C. A. Holmes, N. R. Heckenberg, G. J. Milburn, and H. Rubinsztein-Dunlop Centre for Laser Science, Department of Physics, The University of Queensland, Brisbane, Queensland 4072, Australia Department of Mathematics, The University of Queensland, Brisbane, Queensland 4072, Australia Centre for Quantum Computer Technology, Department of Physics, The University of Quee...
متن کاملApplication of Surface Fitting Techniques for the Representation of Leaf Surfaces
Department of Mathematics and Computing, University of Southern Queensland, Toowoomba, QLD 4350, Australia. E-Mail: [email protected] Department of Mathematics, University of Queensland, Brisbane, QLD 4072, Australia ARC Centre of Excellence for Integrative Legume Research, ARC Centre for Complex Systems, Advanced Computational Modelling Centre, University of Queensland, Brisbane, QLD 4072, Aust...
متن کاملThe highly resolved electronic spectrum of the square planar CuCl4
Andrew Dick, Hedayat Rahemi, Elmars R. Krausz, Graeme R. Hanson, and Mark J. Riley School of Molecular and Microbial Sciences, University of Queensland, St. Lucia, Queensland 4072, Australia Chemistry Department, Urmia University, Urmia 57159-165, Iran Research School of Chemistry, Australian National University, Canberra 0200, Australia Centre for Magnetic Resonance, University of Queensland, ...
متن کامل-regulated Pool of Phosphatidylinositol-3-phosphate Produced by Phosphatidylinositol 3-Kinase C2 on Neurosecretory Vesicles
*Molecular Dynamics of Synaptic Function Laboratory, Queensland Brain Institute and School of Biomedical Sciences, The University of Queensland, St. Lucia, 4072 Queensland, Australia; † Centre for Microscopy and Microanalysis and Institute for Molecular Bioscience, University of Queensland, Brisbane, Queensland 4072, Australia; and ‡Renal Section, Faculty of Medicine, Imperial College, London W...
متن کاملQuantum nondemolition measurements for quantum information
T. C. Ralph,* S. D. Bartlett, J. L. O’Brien, G. J. Pryde, and H. M. Wiseman Centre for Quantum Computer Technology, University of Queensland, Brisbane, Queensland 4072, Australia Department of Physics, University of Queensland, Brisbane, Queensland 4072, Australia School of Physics, The University of Sydney, Sydney, New South Wales 2006, Australia Centre for Quantum Computer Technology, Center ...
متن کامل